A note on the theory SID<ω of stratified induction
نویسندگان
چکیده
We introduce and analyse a theory of finitely stratified general inductive definitions over the natural numbers, SID<ω, and establish its proof-theoretic ordinal, φε0(0). The definition of SID<ω bears some similarities with D. Leivant’s ramified theories for finitary inductive definitions.
منابع مشابه
A NOTE ON STRATIFIED LM-FILTERS
We develop a theory of stratified $LM$-filters which generalizes the theory of stratified $L$-filters. Our stratification condition explicitly depends on a suitable mapping between the lattices $L$ and $M$. If $L$ and $M$ are identical and the mapping is the identity mapping, then we obtain the theory of stratified $L$-filters. Based on the stratified $LM$-filters, a general theory of lattice-v...
متن کاملDeterministic Fuzzy Automaton on Subclasses of Fuzzy Regular ω-Languages
In formal language theory, we are mainly interested in the natural language computational aspects of ω-languages. Therefore in this respect it is convenient to consider fuzzy ω-languages. In this paper, we introduce two subclasses of fuzzy regular ω-languages called fuzzy n-local ω-languages and Buchi fuzzy n-local ω-languages, and give some closure properties for those subclasses. We define a ...
متن کاملDamped Vibrations of Parabolic Tapered Non-homogeneous Infinite Rectangular Plate Resting on Elastic Foundation (RESEARCH NOTE)
In the present paper damped vibrations of non-homogeneous infinite rectangular plate of parabolically varying thickness resting on elastic foundation has been studied. Following Lévy approach, the equation of motion of plate of varying thickness in one direction is solved by quintic spline method. The effect of damping, elastic foundation and taperness is discussed with permissible range of pa...
متن کاملAdaptive Speed Control of Three-Phase Induction Servo-drives Based on Feedback Linearization Theory
In this paper, based on feedback linearization control method and using a special PI (propotational integrator) regulator (IP) in combination with a feed-forward controller, a three-phase induction servo-drive is speed controlled. First, an observer is employed to estimate the rotor d and q axis flux components. Then, two input-output state variables are introduced to control the dynamics of to...
متن کاملAn Optimal Selection of Induction Heating Capacitance by Genetic Algorithm Considering Dissipation Loss Caused by ESR (TECHNICAL NOTE)
In design of a parallel resonant induction heating system, choosing a proper capacitancefor the resonant circuit is quite important. The capacitance affects the resonant frequency, outputpower, Q-factor, heating efficiency and power factor. In this paper, the role of equivalent seriesresistance (ESR) in the choice of capacitance is significantly recognized. Optimal value of resonancecapacitor i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Math. Log. Q.
دوره 60 شماره
صفحات -
تاریخ انتشار 2014